Section: Partnerships and Cooperations

International Initiatives

Inria International Labs

CIRIC Chili

• Ciric research line: Telecommunications

• Inria principal investigator: Eric Madelaine

• Duration: 2012 - 2021

• This CIRIC activity is loosely coupled with our (now terminated) SCADA associated team with the Universidad de Chile (UdC). We have some research collaboration with our chilean colleagues, in particular on new usages of the GCM component model for cloud management[7] .

LIAMA Shanghai

• Liama project: CASCADES

• Inria principal investigator: Vania Joloboff

• SCALE researchers involved: Eric Madelaine, Ludovic Henrio,

• AOSTE researchers: Robert de Simone, Julien DeAntoni, Frederic Mallet

• International Partner (Institution - Laboratory - Researcher):

  • East China Normal University (ECNU) Shanghai - Software Engineering Institue - MOE International Lab of Trustworthy Software : Jifeng HE, Changbo WANG, Huibiao ZHU, Min ZHANG, Yixiang CHEN.

• Duration: 2016 - 2017

• The SACCADES project aims at improving the development of reliable cyber physical systems and more generally of distributed systems combining asynchronous with synchronous aspects, with different but complementary angles:

  Develop the theoretical support for Models of Computations and Communications (MoCCs) that are the fundamentals basis of the tools. Develop software tools (a) to enable the development and verification of executable models of the application software, which may be local or distributed and (b) to define and optimize the mapping of software components over the available resources. Develop virtual prototyping technology enabling the validation of the application software on the target hardware platform.

  The Scale team is involved in particular, with our chinese partners, on studies of semantics and compositional properties, and on the development of software tools supporting the Model-Driven Engineering approaches.

  This LIAMA project is tighly linked with our FM4CPS Associated team (Inria principal investigator: Robert de Simone, SCALE participants: Eric Madelaine, Ludovic Henrio, Oleksandra Kulankhina).

Inria International Partners

Informal International Partners

• Advanced Real-Time Simulation Laboratory, Carleton University, Ottawa Canada: collaboration on simulation methodology, the DEVS formalism, and SDN Networks [16] , [8] , [15]